completeness of modes

模的完全性